×

logic in computer science中文什么意思

发音:   用"logic in computer science"造句
  • 计算机科学中的逻辑学
  • 计算机逻辑
  • logic:    n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理 ...
  • computer:    n. 1.计算者。 2.(电子)计算机；计量器。 短语和 ...
  • science:    n. 1.科学；科学研究。 2.(一门)科学，学科。 3 ...
  • logic of science:    科学逻辑
  • science of logic:    逻辑学
下载手机词典可随时随地查词查翻译

例句与用法

  1. A machine checkable logic of knowledge for specifying security properties of electronic commerce protocols . in proc . 13th ieee annual symposium on logic in computer science lics98 workshop on formal methods and security protocols , indianapolis , indiana , june 21 - 24 , 1998 , http : citeseer . ist . psu . edu clarke98machine . html
    为了验证更多的性质,我们的公理集中加入了一些新的特性,如动态性,使我们可以推导协议的每个执行步所得到的知识还有秘密性,我们在公理中加入那些处理智能体间共享秘密的公理

相关词汇

其他语言

相邻词汇

  1. logic grammar 什么意思
  2. logic graph 什么意思
  3. logic ground 什么意思
  4. logic hazard 什么意思
  5. logic high 什么意思
  6. logic in early qing 什么意思
  7. logic in grammar and rhetoric 什么意思
  8. logic in linguistics 什么意思
  9. logic in memory 什么意思
  10. logic in memory computer 什么意思
桌面版繁體版English

相关阅读

Copyright © 2025 WordTech Co.

Last modified time:Sat, 16 Aug 2025 00:29:56 GMT